Indexing protein sequences with MINOS. H. Ripoche 1

Source URL: www.jsbi.org

• Bioinformatics
• Sequence alignment
• Sequence motif
• Nucleic acid sequence
• Sequence
• Homology
• PROSITE
• Protein domain
• DNA
• Protein structure
• Formal concept analysis
• Sequence analysis

Call for Papers ACM Transactions on Intelligent Systems and Technology (ACM TIST) Special Issue of on SEARCH AND MINING USER GENERATED CONTENTS

Source URL: tist.acm.org

• Data mining
• Computing
• Information
• Data analysis
• Digital media
• Formal sciences
• Web mining
• World Wide Web
• Text mining
• Recommender system
• Social media
• Social media mining

Formal Methods for Modelling and Analysis of Single-Event Upsets Ren´e Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen and Erik Ramsgaard Wognsen Department of Computer Science, Aalborg University, Denmark {rrh,k

Source URL: people.cs.aau.dk

Decision Procedures for the Formal Analysis of Software Tutorial Overview D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen UFRN (Natal, Brasil) and LORIA & INRIA-Lorraine (Nancy, France)

Source URL: www.loria.fr

Formal analysis of anonymity in ECC-based Direct Anonymous Attestation schemes? Ben Smyth1 , Mark Ryan2 , and Liqun Chen3 1 2

Source URL: www.cs.bham.ac.uk

Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

Source URL: www.cs.bham.ac.uk

Decision Procedures for the Formal Analysis of Software Part IV: Certifying David Déharbe Pascal Fontaine Silvio Ranise Christophe Ringeissen

Source URL: www.loria.fr

Mathematical Economics Adding Value To Your Team Mathematics is an invaluable element of economic analysis and has opened up large areas of inquiry. Most economic theory rests on explicit, formal, mathematical and/or sta

Source URL: www.recruitguelph.ca

Damien Zufferey Research Interests Programming Languages, Formal Methods, Program Analysis and Verification, and Distributed Systems. Education

Source URL: pub.ist.ac.at

Microsoft Word - Photo or figure

Source URL: www.strc.ch

• Statistics
• Regression analysis
• Academia
• Knowledge
• Estimation theory
• Formal sciences
• Spatial data analysis
• Linear regression
• Spatial econometrics
• Autocorrelation
• Econometrics
• Coefficient of determination